Hoare logic

Hoare logic
Results: 111

#	Item
111	PDF Document Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Software engineering Procedural programming languages Logic in computer science Hoare logic Type theory Separation logic Standard ML Heap ALGOL 68 Programming language theory Theoretical computer science Program logic